#ifndef __EKOS_SYSCONF_H__
#define __EKOS_SYSCONF_H__

#include "types.h"
#include "layout.h"

struct sysconf_t
{
	 int use_pic;
	 int use_lapic;
	 int use_ioapic;
	 
	 int lcpu_count;
	 int lcpu_boot;

	 int ips_per_proc;

	 uint32_t   jiffies_0;

	 int        has_hpet;
	 physaddr_t hpet_phys;

	 int        irq_ap[IRQ_COUNT];
	 physaddr_t rm_image_phys;
};

struct sysconf_extra_t
{
};

#endif
